Nuprl Definition : Rlist
0,22
postcript
pdf
(
L
) == reduce(
x
,
y
.
x
y
;
;
L
)
latex
Definitions
reduce(
f
;
k
;
as
)
,
x
.
A
(
x
)
,
left
right
,
FDL editor aliases
Rlist
origin
(L) == reduce(
x,y. x y;
;L) (L) == reduce(x,y. x y;;L) x.A(x) right